System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
31	Dyalog for UNIX Installation and Configuration Guide Dyalog version 15.0 Dyalog is a trademark of Dyalog Limited Copyright © by Dyalog Limited Add to Reading List Source URL: docs.dyalog.com Language: English - Date: 2016-08-01 04:18:17 Software Computing System software APL programming language family Archive formats Dpkg Ubuntu IBM software APL RPM Package Manager Package manager Advanced Packaging Tool
32	The F# 3.0 Language Specification Note: This documentation is the specification of the 3.0 release of F# made by Microsoft Research and the Microsoft Developer Division in SeptemberDiscrepancies may exist between Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system Expression C Operator Pattern matching C Sharp syntax
33	Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:44 Software engineering Computing Computer programming Procedural programming languages Programming languages Programming language implementation Control flow Compiler optimizations Fortran Partial evaluation Programming language Type system
34	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
35	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
36	IEEE ISORC 2014 Program Time Monday, 9 June 2014: Workshops SEUS SESSION 1: Embedded Systems Design & Applications Add to Reading List Source URL: www.isorc2014.org Language: English - Date: 2014-05-08 09:52:22 Software engineering Computing Programming language theory System of systems Systems engineering Systems theory Embedded system Hermann Kopetz Cyber-physical system Ada Model checking Operating system
37	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
38	ACT Parameterization Framework Alan Paviˇci´c Nikˇsa Bosni´c AVL-AST Zagreb, Croatia Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:10 Software engineering Computer programming Computing Object-oriented programming Common Lisp Object System Metaobject Generic function Metaclass Frame language Class Object Mutator method
39	The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system C Expression Operator Recursion C Sharp syntax
40	The Link King v6.0 User Manual Update The Link King v6.0 features upgrades in four areas: • Enhancement to the display of the final linkage map. Add to Reading List Source URL: www.the-link-king.com Language: English - Date: 2009-06-12 01:04:53 Software System software Computing Compilers Linker Programming language implementation Linkage X Window System Data management

UPDATE